61. ZB 2002: formal specification and development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، B )Computer program language(,، Z )Computer program language(
Classification :
QA
76
.
73
.
B155
.
I58
2002
62. ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
Author: Helen Treharne... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Z )Computer program language(,Congresses ، B )Computer program language(
Classification :
QA
76
.
L28
Vol
.
3455
63. ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
Author: Didier Bert... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، B )Computer program language(,Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
2651
64. ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 1998 : proceedings
Author: Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
1493
65. ZUM'97 : the z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
Author: Jonathan P. Bowen, Michael G. Hinchey, David Till )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
1212
